Entropy Numbers of Spheres in Banach and quasi-Banach spaces

Source URL: arxiv.org

• Mathematical analysis
• Mathematics
• Functional analysis
• Information theory
• Sequence space
• Banach space
• Entropy
• Metric geometry
• Banach fixed-point theorem
• BanachMazur compactum

Scott processes Paul B. Larson∗ June 23, 2014 Abstract The Scott process of a relational structure M is the sequence of sets of formulas given by the Scott analysis of M . We present axioms for the

Source URL: www.users.miamioh.edu

Efficient Probabilistic Logic Programming for Biological Sequence Analysis by Christian Theil Have

Source URL: www.ruc.dk

PDF Document

Source URL: www.numerik.uni-kiel.de

• Mathematical analysis
• Mathematics
• Diophantine approximation
• Quasirandomness
• Low-discrepancy sequence
• Numerical analysis
• Random number generation
• Measure theory
• Support

PDF Document

Source URL: www.kroening.com

• Formal methods
• Logic in computer science
• Vienna Development Method
• Functional analysis
• General topology
• Wellfoundedness
• Satisfiability modulo theories
• First-order logic
• Constructible universe
• F-algebra
• Ordinal number
• Sequence

International Journal of Geographical Information Science Vol. 24, No. 10, October 2010, 1559–1575 Exploring the efficiency of users’ visual analytics strategies based on sequence analysis of eye movement recordings

Source URL: www.geo.uzh.ch

Logic-Statistic Models with Constraints for Biological Sequence Analysis Christian Theil Have Research Group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technolo

Source URL: akira.ruc.dk

Physica D–107 Data compression and learning in time sequences analysis A. Puglisi a,b,∗ , D. Benedetto c , E. Caglioti c , V. Loreto a,b , A. Vulpiani a,b a

Source URL: samarcanda.phys.uniroma1.it

• Mathematical analysis
• Randomness
• Statistical theory
• Thermodynamics
• Statistical randomness
• Entropy
• Random sequence
• Kullback–Leibler divergence
• Logarithm
• Statistics
• Probability and statistics
• Information theory

Johnson et al. BMC Bioinformatics 2010, 11:431 http://www.biomedcentral.com RESEARCH ARTICLE Open Access

Source URL: selab.janelia.org

• Sequence alignment
• Multiple sequence alignment
• BLAST
• Sequence analysis
• Viterbi algorithm
• Hidden Markov model
• Pfam
• SUPERFAMILY
• Homology
• Bioinformatics
• Science
• HMMER

Motion Analysis Studio powered by TEMA engine Motion Analysis Toolbox for AOS Camera Users AOS Imaging Studio is now also available with the renowned TEMA Motion Analysis engine. After filming a sequence in Imaging Studi

Source URL: www.mc-s.nl

• YEd
• TEMA
• Software
• Motion analysis
• Cartesian coordinate system